/**
 * Classes for parametric model checking.
 */
package com.prism.e4.rcp.param;